go/types.unifier.tracef (method)

22 uses

	go/types (current package)
		infer.go#L163: 		u.tracef("== function parameters: %s", params)
		infer.go#L164: 		u.tracef("-- function arguments : %s", args)
		infer.go#L202: 		u.tracef("=> %s ➞ %s\n", tparams, inferred)
		infer.go#L209: 		u.tracef("== type parameters: %s", tparams)
		infer.go#L233: 			u.tracef("-- iteration %d", i)
		infer.go#L240: 				u.tracef("-- type parameter %s = %s: core(%s) = %s, single = %v", tpar, tx, tpar, core, single)
		infer.go#L250: 						u.tracef("-> unify type parameter %s (type %s) with constraint core type %s", tpar, tx, core.typ)
		infer.go#L271: 						u.tracef("-> set type parameter %s to constraint core type %s", tpar, core.typ)
		infer.go#L295: 					u.tracef("-> unify type parameter %s (type %s) methods with constraint methods", tpar, tx)
		infer.go#L320: 		u.tracef("=> %s ➞ %s\n", tparams, inferred)
		infer.go#L327: 		u.tracef("== untyped arguments: %v", untyped)
		infer.go#L416: 			u.tracef("-- simplify %s ➞ %s", tparams, inferred)
		unify.go#L147: func (u *unifier) tracef(format string, args ...interface{}) {
		unify.go#L189: 		u.tracef("%s ⇄ %s", x, y)
		unify.go#L244: 		u.tracef("%s ➞ %s", x, t)
		unify.go#L288: 		u.tracef("%s ≡ %s\t// %s", x, y, mode)
		unify.go#L292: 			u.tracef("%s ≢ %s", x, y)
		unify.go#L305: 			u.tracef("depth %d >= %d", u.depth, unificationDepthLimit)
		unify.go#L319: 			u.tracef("%s ≡ %s\t// swap", y, x)
		unify.go#L343: 			u.tracef("%s ≡ under %s", x, ny)
		unify.go#L564: 			u.tracef("%s ≡ %s\t// swap", y, x)
		unify.go#L781: 					u.tracef("core %s ≡ %s", xorig, yorig)